Frege intended his "concept script" to be a calculus ratiocinator as well as a lingua characteristica. وكان فريج يقصد من "البرمجة النصية للمفهوم" أن تكون هي الاستدلال المنطقي لحساب التفاضل والتكامل وأن تكون أيضًا السمة اللغوية.
Stepped Reckoner Hartley Rogers saw a link between the two, defining the calculus ratiocinator as "an algorithm which, when applied to the symbols of any formula of the characteristica universalis, would determine whether or not that formula were true as a statement of science" (Hartley Rogers, Jr. 1963; pp. 934). الحاسب السريع اكتشف هارتلي روجرز رابطًا بين تعريف أداة الاستدلال المنطقي لحساب التفاضل والتكامل على أنها "خوارزمية عند تطبيقها على رموز أي صيغة من الخصائص العامة ستحدد ما إذا كانت هذه الصيغة صحيحة كبيان علمي أم لا" (هارتلي روجرز, 1963، ص 934).
جوال إصدار